Removed superclass constraint on Genpos
Fixed error creating new symbols
Created Genpos monad