* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
Let inlinefun inline everything non-representable.
Unify typeprop and funprop into argprop.
Extract only representable arguments.
Add predicates for testing representability of types.