Hold meta-information for functions in Maker

[zliu41]

Currently Maker is just designed for generate CoreExpr for specified functions in target category, but does not contain meta-information (module name for example). So we cannot use such information for checking equality of a function under investigation and a target function. This case happens in f . id = f simplification when checking id-ness of a function. Safer way in the case was to use temporarily made function using mkId but that's an expensive operation. So this will make our custom simplification rules safer and more principled.

AC: Make meta-information fields in Maker and make use of it in custom simplification like f . id = f.

(Extricated from https://kitty-hawk.atlassian.net/browse/SW-3434)