check for units
|Status:||Rejected||Start date:||11 Nov 2013|
When a function is meant to be used as in
should be explicitly forbidden.
nanometer has type Length, f requires type Length.
Similarly for all units.