removes ambiguous use of semantic type and closes #4

@mamund Please review and merge.