Constrain types to avoid weak variables in inferred types (#14)

Constrain types to avoid weak variables in inferred types (#14) #119