Add checkFParamLore method to Checkable.
Properly typecheck memory annotations.