Rename someSymVal to someSymbolVal
Add fixity declaration for type-level functions.