add -fline-refs
remove warnings
additional PER test
comments changed
fix debug message typo
remove warning
remove warning
fix default constraint checking
Merge remote-tracking branch 'upstream/master'
Add symbol and morphing functions to type defs