Backup 20131118

typecheck() solved, but including bugs about compose()
'tying' package solved