inlining for parameterized types
fix warning for inlined Int constraint
inline test cases
fix prototype stuff. now failing many test cases :-(