100644 blob 96227c4dacb0e5b775b2104a7c08465f6e825359	TypeChecker.java
040000 tree 85b89ede25c01e81564a5ed98eab7bfcc60bf395	constant
040000 tree c4a40a29ccc85f389ac07ee14837ee883880d8d3	type