updated TODO
added testing compilation problems case in JavacSmoothTest
name cleanup: renamed XxxProblem classes to XxxError
added Type.allowedForParam()
Param factory method checks that Type is allowed for Param
added Type.allowedForArgs()
refactored constants in Type from ImmutableList to ImmutableSet