name change
comments
fix holes
we need to check for constructors before applications